Kurt Gödel - PDFSEARCH.IO - Document Search Engine

Kurt Gödel
Results: 43

#	Item
11	Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 05:59:46 Philosophical logic Formal systems Proof theory Model theory Axiom Mathematical proof Theorem Kurt Gödel Modal logic Logic Mathematics Mathematical logic
12	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2015-02-16 06:04:56 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
13	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2014-05-09 04:11:04 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
14	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2014-05-09 04:13:13 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
15	Justin Clarke-Doane University of Birmingham Monash University [This is a corrected version of an article which appears in Noûs, Vol. 47.] Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2014-07-29 01:53:21 Proof theory Model theory Formal systems Continuum hypothesis Forcing Zermelo–Fraenkel set theory Conjecture Axiom Kurt Gödel Mathematical logic Logic Mathematics
16	Index of the Pages on Modern and Contemporary Philosophy Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2014-10-29 06:14:51 Idealists Philosophical logic Philosophy of mathematics Logic Gottlob Frege Gottfried Leibniz Problem of universals Ontology Kurt Gödel Philosophy German Christians Branches of philosophy
17	Index of the Pages on Modern and Contemporary Philosophy Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2014-10-29 06:16:37 Idealists Philosophical logic Philosophy of mathematics Logic Gottlob Frege Gottfried Leibniz Problem of universals Ontology Kurt Gödel Philosophy German Christians Branches of philosophy
18	Index of the Pages on Modern and Contemporary Philosophy Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-10-29 06:18:04 Idealists Philosophical logic Philosophy of mathematics Logic Gottlob Frege Gottfried Leibniz Problem of universals Ontology Kurt Gödel Philosophy German Christians Branches of philosophy
19	Index of the Pages on Modern and Contemporary Philosophy Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2014-10-29 06:16:03 Idealists Philosophical logic Philosophy of mathematics Logic Gottlob Frege Gottfried Leibniz Problem of universals Ontology Kurt Gödel Philosophy German Christians Branches of philosophy
20	3 pages ABSTRACT: INSTRUCTIONS TO AUTHORS An abstract (maximum 1 page) is required for each platform presentation or poster presentation. Submit the abstract for your presentation as soon as possible to env-abstract@AASc Add to Reading List Source URL: www.aasci.org Language: English - Date: 2013-11-30 13:01:23 Nobel laureates in Physics Kurt Gödel Platonists Vienna Circle Albert Einstein Paul Dirac Institute for Advanced Study Princeton New Jersey Royal Society Mercer County New Jersey European people